State space reduction based on live variables analysis
نویسندگان
چکیده
منابع مشابه
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speciications in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model-checking techniques as a way to enhance the performances of automated validation tools. The goal of this paper is to point out that an equivalence on our model derived from the information on live variables is strong...
متن کاملState Space Reduction Based on Live Variables Analysis , Centre Equation, 2 Avenue De Vignate, F-38610 Gi Eres
The intrinsic complexity of most protocol speciications in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model-checking techniques as a way to enhance the performances of automated validation tools. The goal of this paper is to point out that an equivalence on our model derived from the information on live variables is strong...
متن کاملA Probability Space based on Interval Random Variables
This paper considers an extension of probability space based on interval random variables. In this approach, first, a notion of interval random variable is introduced. Then, based on a family of continuous distribution functions with interval parameters, a concept of probability space of an interval random variable is proposed. Then, the mean and variance of an interval random variable are intr...
متن کاملOptimistic Synchronization-Based State-Space Reduction
Reductions that aggregate fine-grained transitions into coarser transitions can significantly reduce the cost of automated verification, by reducing the size of the state space. We propose a reduction that can exploit common synchronization disciplines, such as the use of mutual exclusion for accesses to shared data structures. Exploiting them using traditional reduction theorems requires check...
متن کاملStructural analysis based on state-space modeling.
A new method has been developed to compute the probability that each amino acid in a protein sequence is in a particular secondary structural element. Each of these probabilities is computed using the entire sequence and a set of predefined structural class models. This set of structural classes is patterned after Jane Richardson's taxonomy for the domains of globular proteins. For each structu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2003
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(02)00133-8